Wyniki
-
Algebraizability and Beth's theorem for equivalential logics
Burghard Herrmann
Bulletin of the Section of Logic , 22 /2 (1993) s. 85-88
Burghard Herrmann
Bulletin of the Section of Logic
, 22
/2
(1993)
s. 85-88